41![Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie Learning Linguistic Descriptors of User Roles in Online Communities Alex Wang1 , William L. Hamilton2 , Jure Leskovec2 1 School of Engineering and Applied Sciences, Harvard University, Cambridge MA, Computer Scie](https://www.pdfsearch.io/img/32eb15771740a3d43853f86713179b8a.jpg) | Add to Reading ListSource URL: www.aclweb.orgLanguage: English - Date: 2016-10-27 12:19:11
|
---|
42![Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin](https://www.pdfsearch.io/img/2b2cf7761ff23adddeb5de22df151af0.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2014-10-03 20:52:55
|
---|
43![McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using McGill University School of Computer Science Sable Research Group WebAssembly and JavaScript Challenge: Numerical program performance using](https://www.pdfsearch.io/img/fa448244c2c1e657f918a909b92cb9b0.jpg) | Add to Reading ListSource URL: www.sable.mcgill.caLanguage: English - Date: 2018-03-15 14:14:31
|
---|
44![Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/38d5f6a3c692fd278dec1dd7543cbcbc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-06-17 04:03:10
|
---|
45![Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,](https://www.pdfsearch.io/img/acea8ad8206f59b9d92e3752f0059ca1.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2012-05-10 09:21:45
|
---|
46![Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria](https://www.pdfsearch.io/img/564a98119db0354b1fb4bfb220c6e38a.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-08 03:28:45
|
---|
47![Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor](https://www.pdfsearch.io/img/fa3065bb713e1d533a62f12f37a3e86a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-07-01 03:47:28
|
---|
48![Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which](https://www.pdfsearch.io/img/69741d956ae5b1f1d640ad90cc246ccc.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-07-05 18:17:09
|
---|
49![Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c](https://www.pdfsearch.io/img/b4359ac2070d68eb1ab62478393f4671.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2017-07-19 14:45:03
|
---|
50![Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/3209a03adc6790fbd004e037a8f67288.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-07-04 05:45:30
|
---|